Adoptant un point de vue normatif, qui attribue à un système formel parmi d`autres le statut de logique « classique », certains appellent logique non-classique toute logique formelle qui étudie des systèmes formels qui diffèrent de façon significative de la logique classique.